package ocl;

public class NotExpression extends OclExpression {

	private OclExpression exp;

	public NotExpression(OclExpression oclExpression) {
		this.exp = oclExpression;
		}

	@Override
	public String toK() {
		return "not " + exp.toK();
	}
}
